مباحثی در اثبات ناپذیری و نظریه رمزی تعمیم یافته

thesis

وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی
author امیر خمسه
adviser مجتبی آقایی بهناز عمومی
Number of pages: First 15 pages
publication year 1391

abstract

در این رساله ابتدا قضیه رمزی کانونیک و سپس نسخه ای از قضیه کاناموری مک آلون از جنبه نظریه مدل مورد مطالعه قرار می گیرد. در هر مورد نشانگرهای جدید و نتایج مستقل از حساب مرتبه اول پئانو به دست می آید. سپس به قضیه مجموعه تین و محاسبه مقدار دقیق عدد رمزی متناظر با آن برای برخی گراف های خاص که مسیرها از جمله آن است پرداخته می شود.

First 15 pages

similar resources

مبانی فقهی نظریه تعمیم ادله اثبات دعوا

امروزه در سایه علم و تکنولوژی ادله جدیدی برای اثبات دعاوی و اقناع قاضی پا بهعرصه وجود نهاده که به مراتب قویتر ازشهادت شهود بوده و چنان ظن قوی حاصل م ی کنندکه به آنها ادله قطعی عرفی اطلاق می شود و احتمال خلاف آنها را عرف عقلا ء بسیار کم وتقریبًا منتفی م یداند و با توجه به اینکه عموم فقهاء مبنای اعتبار ادله بویژه شهادت شهود راعقل و عرف عقلا ء قلمداد می کنند، همچنین با امعان نظر به اینکه بینه، فاقد...

full text

مبانی فقهی نظریه تعمیم ادله اثبات دعوا

full text

فاکتوریل تعمیم یافته

تابع فاکتوریل با استفاده از مفهومی به نام p-ترتیب، به زیرمجموعه حلقه اعداد صحیح تعمیم پذیر است. هدف این نوشتار، آگاهی دادن از چگونگی این تعمیم است. در پایان به مفهوم ایدآل فاکتوریل در حوزه های ددکیند اشاره خواهد شد.

full text

مباحثی در تعریف ناپذیری صدق تارسکی

قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...

15 صفحه اول

مروری بر نظریه اثبات

پس از آن که کانتور نظریه مجموعه ها را معرفی کرد، روش های جدید و غیرمتعارفی در ریاضیات به وجود آمد که واکنش هایی را نسبت به آن برانگیخت. امروزه تقریبا در تمام کتب ریاضی، این روشها به صورت فراگیر مشاهده می شوند و در واقع مشکل بتوان توضیح داد که چرا این مطالب روزی جنجال برانگیز بوده است. هیلبرت از روش های نظریه مجموعه ها به شدت طرفداری می کرد ولی بروز پارادوکس هایی مانند پارادوکس راسل، موجب تشویش ...

full text

قواعد فاینمن در مدل استاندارد تعمیم یافته

We consider the Lorentz violating extension of the standard model introduced by D. Colladay and V. A. Kostelecky. In this framework, we obtain all Feynman rules for the electroweak part of the standard model extension (SME), for the first time. Among the new obtained interactions one finds new vertices for the Higgs boson that is interesting in the phenomenology of the Higgs particle.

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}

document type: thesis

وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی

Keywords

حساب پیانو جمله مستقل قضیه رمزی کانونیک

Hosted on Doprax cloud platform doprax.com